$\forall$$T$:(Id$\rightarrow$Type), ${\it tab}$:secret{-}table($T$), $n$:\{0..$\parallel$${\it tab}$$\parallel$ $^{-}$\}. key(${\it tab}$;$n$) $\in$ ($\mathbb{N}$ + Atom1)